module Module

match [] with
| (1 :: []) -> ()
| (1 :: 2) :: 3 -> ()
| (1 :: []) :: 2 -> ()
| 1 :: (2 :: []) -> ()
